PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。     

帘线断裂时橡胶复合材料温度场数值模拟

以单向帘线增强橡胶复合材料为研究对象,采用有限单元法建立二维计算模型.在周期性载荷作用下,对帘线断裂和帘线脱粘滑移引起的橡胶复合材料滞后生热的瞬态温度场进行了数值模拟,并讨论了帘线脱粘滑移摩擦对滞后生热的影响.结果表明,随着帘线断裂数目的增加,温度升高明显;脱粘摩擦生热对温升影响较小;帘线断裂引起的局部应力集中导致的大...     

地质雷达无损检测技术在公路隧道中的应用

介绍了工程概况及隧道结构,讨论了无损检测方案的设计,分析了无损检测技术图像,指出地质雷达无损检测技术应用于公路隧道具有高效、快捷的特点,探测结果图像清晰,探测精度高。     

先进高强度双相钢汽车板剪切断裂实验

通过翻边实验和槽型件实验,研究了先进高强度双相(DP)钢在小半径拉弯成形中的断裂特性.翻边实验表明,高强度DP钢强度级别越高越容易发生剪切断裂.槽型件实验与仿真表明,高强度DP钢的断裂特性与压边力大小关系密切,压边力大则弯曲圆角处容易发生剪切断裂;压边力小则易在侧壁上发生颈缩断裂.先进高强度DP钢最终的断裂模式是剪切断裂和颈缩断裂相互竞争的结果,任一断裂条件先达到则板料发生该种断裂.     

多元素长效碳铵颗粒肥中总氮含量的测定方法研究

提供了一种新型肥料——多元素长效碳铵颗粒肥总氮含量新的检测方法——消解蒸馏滴定法.谊方法可准确检测出多元素长效碳铵颗粒肥中的总氮含量,测定误差均在合理范围内.     

基于改进RANSAC算法的图像拼接技术

针对传统RANSAC算法在图像拼接中效率低的问题,提出了一种解决该问题的新算法,即M_RANSAC算法.该方法首先通过HARRIS算法提取2幅图像中的特征点,且在特征点匹配排序的基础之上,根据数据错误率得出抽样次数,并采用双阈值法进行数据检验来提高算法效率.结果表明,M_RANSAC算法能有效地减少抽样时间和数据检验时...     

压裂井温度场计算软件设计与实现

压裂过程中,压裂井井筒以及裂缝温度是不断变化的,而压裂液性能对温度变化非常敏感。本文从纵、横两个方向对注液井进行了单元体划分,依据热平衡原理,建立了注液过程中井筒及裂缝温度场计算数学模型,在该数学模型的基础上,设计了压裂过程中温度场计算的软件程序,并以压裂井的实际数据,进行了实例运用,可以直观、较为准确的预测压裂过程中井筒以及裂缝温度场分布情况,为压裂井压裂方案的制定提供了可靠的温度场数据。     

构造裂缝的分形研究

从数学规律的角度,应用分形理论,对构造裂缝的分布发育规律进行研究.分数维D值越大,说明构造裂缝分布越均匀,各向异性较强,构造裂缝的分布发育较好.与走滑断裂属同一构造应力场的构造裂缝,随着距离走滑断裂距离的增大,分数维D值呈指数减小;随构造裂缝面密度的增大,分数维D值呈线性增大.分数维D值大小更能体现构造裂缝分布的均匀程度和各向异性,同时考虑构造裂缝面密度和分数维,引用发育程度f来表征岩石破裂程度.对裂缝油气藏来说f,越大表明岩石破裂程度越高,储层裂缝越发育.靠近断裂岩石破裂程度高,有利于油气的运移.     

煤巷大厚度泥岩顶板围岩裂隙演化规律数值试验研究

运用数值试验系统,研究了煤巷大厚度泥岩顶板围岩裂隙萌生-扩展-贯通-破坏的演化规律。根据围岩裂隙的分布和演化,结合地质力学与环境条件,揭示出大厚度泥岩顶板垮落是由于煤帮上方的剪张裂隙及顶板上方的水平裂隙所形成的裂隙拱造成的,提出大厚度泥岩顶板煤巷支护的三个主要特点:及时封闭围岩、加大锚杆支护系统刚度、锚杆(索)沿裂隙方向斜向布置。研究结果有利于了解巷道围岩内部破裂的产生和发展规律,为巷道锚固方案的选择和锚固参数的优化提供了依据,可为类似条件矿井的支护提供理论依据与应用性指导。